Formalization and Automation of Time-Space Conflict Analysis
نویسندگان
چکیده
With increasing pressure for shorter delivery schedules, space is a critical resource at construction sites. Current industry practice lacks a formalized approach or a tool to help project managers analyze spatial conflicts between activities prior to construction. Consequently, time-space conflicts occur frequently and significantly impact construction processes. Time-space conflicts have three characteristics which impede the detection and analysis of time-space conflicts prior to construction: (1) They have a temporal aspect, (2) They have different forms creating different problems, (3) Multiple types of spatial conflicts can exist between a pair of conflicting activities. This research formalizes time-space conflict analysis as a classification task and addresses these challenges by automatically (1) detecting conflicts in four dimensions, (2) categorizing the conflicts according to a taxonomy of time-space conflicts developed, and (3) prioritizing the multiple types of conflicts between the same pair of conflicting activities. This research extends previous research on construction space management by developing a taxonomy of time-space conflicts and by defining an approach for the analysis of time-space conflicts prior to construction. 1 Assistant Professor, Department of Civil Engineering, Carnegie Mellon University, Pittsburgh, PA 152133890, [email protected] 2 Associate Professor, Department of Civil and Environmental Engineering and (by courtesy) Computer Science, Director, Center for Integrated Facility Engineering, Stanford University, Stanford, CA 94305, [email protected] 3 Professor, Department of Civil and Environmental Engineering, Stanford University, Stanford, CA 94305, [email protected] 4 Professor, Department of Management Science and Engineering, Stanford University, Stanford, CA 94305, [email protected]
منابع مشابه
Comparative Reliability Analysis of Substation Automation Architecture Based on IEC 61850 Standard
Using IEC 61850 standard would increase the reliability and availability of electricity network and put a huge impact on network automation. Even though much research works has been done in substation system reliability, there is a few works in automated substation control system reliability. This paper evaluates the reliability of substation automation system based IEC 61850 comparatively cons...
متن کاملUrban Crimes Space-Time Analysis (Case study: Involvement Crimes at Ardebil City)
Aims & Backgrounds: Involvement crime is one of famous human crimes which it causes to hazard society and humans body, inancial security and studying mentioned subject have vital importance to reducing involvement crime and increasing society and individuals security. Investigation of involvement crime occurrence shows that, mentioned crime happen in special places and times. So, the aim of cur...
متن کاملConcept and Laboratory Analysis of Trajectory-Based Automation for Separation Assurance
An operating concept and a laboratory analysis methodology were developed and tested to examine how four-dimensional trajectory analysis methods could support higher levels of automation for separation assurance in the National Airspace System. Real-time simulations were conducted in which a human controller generated conflict resolution trajectories using an automated trial plan trajectory gen...
متن کاملMediating role of time management in the correlation between role conflict and job burnout among the teachers working at Zahedan technical training colleges, Iran
Background: Teacher burnout and role conflict are considered as serious problems in school environments. This study was carried out in order to investigate the mediating role of time management in the correlation between role conflict and job burnout in the teachers of technical training colleges in the Iranian city of Zahedan. Materials and Methods: In this descriptive correlational study, 20...
متن کاملA High-Level Formalization of Floating-Point Numbers in PVS
We develop a formalization of floating-point numbers in PVS based on a well-known formalization in Coq. We first describe the definitions of all the needed notions, e.g., floating-point number, format, rounding modes, etc. Then, we present an application to polynomial evaluation for elementary function evaluation. The application already existed in Coq, but our formalization shows a clear impro...
متن کامل